The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

The Cooperative Extension System serves as the conduit through which scientific knowledge generated by the 130 land-grant colleges and universities in the United States is translated and delivered directly to its constituents. Since its inception over 100 years ago, Extension has been integral in developing, delivering, and applying cutting-edge knowledge in agriculture and natural resources, youth development, family and consumer sciences, and community and rural development. Today, more than ever, Extension will need to lead the way in building and maintaining (...) sustainable partnerships across disciplines and with organizations at the local, state, and national levels to tackle complex issues considering diminishing resources. Bringing together leading and emerging scholars, this volume discusses how Extension is addressing issues and opportunities relevant to children, youth, families, and communities across the country both now and in the future. Topics include Extension's role in supporting childcare, social media use, entrepreneurship, rural communities, and underserved audiences. (shrink)

Ethical decision-making in school administration has received considerable attention in educational leadership literature. However, most research has focused on principals working in secondary school settings while studies that explore ethical reasoning processes of academic deans have been significantly few. This qualitative study aims to describe the ethical decision-making processes employed by a select group of Filipino college deans in solving ethical dilemmas using the ethical paradigms proposed in the works of Starratt (Educ Adm Q 27:185–202, 1991) and Shapiro and Stefkovich (...) (Ethical leadership and decision-making in education: applying theoretical perspectives to complex dilemmas, 2005) as frameworks for the analysis. Data was gathered using semi-structured interviews and field text was analyzed using deductive thematic analysis. Findings of this study show that majority of the deans chose to share ethical dilemmas involving students and teachers. The findings also show the ethical frameworks of care, justice, and profession as the dominant paradigms utilized by Filipino deans and their preference for adopting multiple ethical frameworks when making their decisions. Most of the ethical dilemmas which the deans narrated relate to their tasks of academic administration such as monitoring student performance, faculty evaluation and maintaining school discipline. Interestingly, only a few dilemmas involving university administrators were expressed, and dilemmas that refer to broader societal issues usually associated with school administrators’ utilization of the ethic of critique were also significantly left out in the narratives of this study. This paper intends to contribute to current literature by expanding research to administrators working in the context of higher education in the Philippine setting. The findings of this study could serve as knowledge base in designing ethics courses to enhance educational leaders’ ethical decision-making skills. The study also provides useful insights of ethical decisions and reasoning processes employed by academic administrators in resolving real life ethical dilemmas that could be useful at the practical level for aspiring and practicing deans. (shrink)

This phenomenological study intends to capture and describe Filipino college deans’ lived experiences of ethical dilemmas as they carry out their work as administrators. Using semistructured in-depth interviews and following Collaizzi’s method, data was collected and subjected to cool and warm analyses yielding a set of themes and sub-themes that typify what these deans consider to be ethical dilemmas. The resulting ‘Wheel’ of School Leaders’ Ethical Dilemmas depicts the nature of the dilemmas faced by these deans, the critical incidents which (...) trigger the onset of the dilemmas, and the value conflicts that are embedded in them. This article intends to add to the growing body of research on ethical decision making in educational management, particularly on the ethical dilemmas faced by Filipino college deans. At a practical level, the findings of this study provide valuable resource to assist practicing and aspiring deans to be more adept in identifying the moral and ethical dimensions of their work as academic administrators. Finally the findings of this study could serve as a knowledge base for curriculum planners in designing ethics courses offered in educational leadership programs in the Philippines to develop academic leaders’competencies and skills in ethical decision making. (shrink)

The chapter reports on the findings of a grounded theory study on the moral sensitivity practice of Filipino college deans. It centers on the exposition of a conceptual model which expands the construct of moral sensitivity beyond the initial stage of moral problem recognition and depicts three processes of knowing facts, understanding people, and understanding oneself as fundamental processes to moral sensitivity. A set of seven distinct practices were also identified as subcomponents of moral sensitivity. The chapter concludes by highlighting (...) the level of complexity involved in moral problem identification in real-life settings and the consequent need for developing administrators’ moral sensitivity skills through formal courses in ethics as part of school administrator preparation programs. (shrink)

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...) process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

Combining modalities has proven to have interesting applications and many approaches that combine time with other types of modalities have been developed. One of these approaches uses accessibility functions between flows of time to study the basic properties of the functions, such as being total or partial, injective, surjective, etc. The completeness of certain systems expressing many of these properties, with the exception of surjectivity, has been proven. In this paper we propose a language with nominals to denote the initial (...) and final sets of each function in a model in order to obtain a complete system for reasoning about surjective partial functions. (shrink)

ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future fragment of (...) the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

El objetivo del estudio se orientó a analizar el desarrollo socioemocional de niños(as) con habilidades diferentes que participaron en actividades de equinoterapia en la ciudad de Lima. La muestra del estudio, realizado con diseño fenomenológico, estuvo constituida por los padres o madres de familia que participaron en la implementación de actividades de equinoterapia y ofrecieron información de sus hijos(as) con autismo, síndrome de Down o trastorno por déficit de atención con y sin hiperactividad. El recojo de datos se utilizó un (...) cuestionario de preguntas abiertas que se enfocaron en las áreas social y emocional del desarrollo de niños(as), el cual fue administrado a 25 informantes, número que se alcanzó por saturación. Se encontró como resultado que los(as) niños(as) que participan en actividades de equinoterapia con enfoque holístico se ve favorecido su desarrollo socioemocional, referente a la relación de apego y control de emociones en el área emocional, y las relaciones. (shrink)

Source: Author: Leonila C. Crisostomo, Ma. Teresa G. Generales, Amelita L. de Guzman The primary purpose of this study is to ascertain the benefits of the National Service Training Program implementation and to identify the problems encountered by its implementers. Results showed that the benefits derived from the program were topped by enhancement of skills on basic leadership with emphases on the ability to listen and ability to communicate which were rated very important and very much benefited among other training (...) aspects of the program. Results also revealed that students are aware of the importance of physical, mental and social health as well as the observance of proper hygiene for overall sense of well-being. Although recreation is one aspect that the respondents find important, appreciation of it underscores the need to have more time for assignments and projects as most of the respondents are enrolled in their respective courses with 29 units, making them unable to appreciate the perks of involving themselves into various recreational activities. Problems in the implementation showed lack of provision of materials and equipment and of budgetary allocation which rendered full implementation weak as students and faculty involved in the community immersion have to rely on their own resources, in addition to the indifference and passivity of the local government officials. Based on the findings, the researchers recommended that: the school administrators need to allocate adequate budget for materials and equipment; periodic faculty development trainings and; to look into the passive attitude of the local officials to ensure that implementation NSTP projects will benefit both clients and implementers. ]]>. (shrink)

A number of experiences have demonstrated how digital solutions are effective in improving quality of life (QoL) and health outcomes for older adults. Smart Health Age-Friendly Environments (SHAFE) is a new concept introduced in Europe since 2017 that combines the concept of Age-Friendly Environments with Information Technologies, supported by health and community care to improve the health and disease management of older adults and during the life-course. This chapter aims to provide an initial overview of the experiences available not only (...) in Europe, based on the research work of the participants of the International Interdisciplinary Network on Health and Well-being in an Age-Friendly Digital World (NET4Age-Friendly), which could be of interest to preventive, health and social authorities. The chapter reports good practices, pain points, and bottlenecks that may require a collaborative, interdisciplinary research approach to facilitate the transformations towards smart, sustainable, health and age-friendly cities and communities. (shrink)

En el presente trabajo se pretenderá ofrecer un esbozo de lo que el malrepresenta para el budismo. Se presentará la vida de buda y el momentoen que él es tentado antes de alcanzar la iluminación, o la liberacióndel mundo de los sentidos; ya que este momento se nos presentará comoel aspecto clave para entender lo que significa el mal para la religión deGotama. Se concluirá arguyendo que el mal no es sino el mundo de lossentidos y lo que busca el (...) budismo es liberarse del sufrimiento que estemundo terrenal causa; todo esto bajo la premisa implícita de que existeun mundo más consciente, ulterior a la existencia terrena, un mundo librede mal, libre de Mara “El Tentador”. (shrink)

Esta investigación tiene como objetivo determinar las diversas contribuciones formativas y de transferencia social de las orquestas universitarias, a partir de las valoraciones que realizan los participantes en esta actividad musical.El enfoque metodológico aplicado es cuantitativo y utiliza el cuestionario como técnica de recogida de información.Los resultados indican que las orquestas universitarias tienen un gran valor formativo que trasciende el ámbito educativo musical, puesto que su impacto positivo abarca también las diferentes dimensiones del ser humano y permean la sociedad. Se (...) concluye que resulta necesario mantener y promover este tipo de agrupaciones orquestales. (shrink)

The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

The standard representation of the Central Dogma (CD) of Molecular Biology conspicuously ignores metabolism. However, both the metabolites and the biochemical fluxes behind any biological phenomenon are encrypted in the DNA sequence. Metabolism constrains and even changes the information flow when the DNA‐encoded instructions conflict with the homeostasis of the biochemical network. Inspection of adaptive virulence programs and emergence of xenobiotic‐biodegradation pathways in environmental bacteria suggest that their main evolutionary drive is the expansion of their metabolic networks towards new chemical (...) landscapes rather than perpetuation and spreading of their DNA sequences. Faulty enzymatic reactions on suboptimal substrates often produce reactive oxygen species (ROS), a process that fosters DNA diversification and ultimately couples catabolism of the new chemicals to growth. All this calls for a revision of the CD in which metabolism (rather than DNA) has the leading role. (shrink)

Digital physics claims that the entire universe is, at the very bottom, made out of bits; as a result, all physical processes are intrinsically computational. For that reason, many digital physicists go further and affirm that the universe is indeed a giant computer. The aim of this article is to make explicit the ontological assumptions underlying such a view. Our main concern is to clarify what kind of properties the universe must instantiate in order to perform computations. We analyse the (...) logical form of the two models of computation traditionally adopted in digital physics, namely, cellular automata and Turing machines. These models are computationally equivalent, but we show that they support different ontological commitments about the fundamental properties of the universe. In fact, cellular automata are compatible with a rather traditional form of physicalism, whereas Turing machines support a dualistic ontology, which could be understood as a realism about the laws of nature or, alternatively, as a kind of panpsychism. (shrink)

Proprioception has a crucial role in promoting or hindering motor learning. In particular, an intact position sense strongly correlates with the chances of recovery after stroke. A great majority of neurological patients present both motor dysfunctions and impairments in kinesthesia, but traditional robot and virtual reality training techniques focus either in recovering motor functions or in assessing proprioceptive deficits. An open challenge is to implement effective and reliable tests and training protocols for proprioception that go beyond the mere position sense (...) evaluation and exploit the intrinsic bidirectionality of the kinesthetic sense, which refers to both sense of position and sense of movement. Modulated haptic interaction has a leading role in promoting sensorimotor integration and it is a natural way to enhance volitional effort. Therefore, we designed a preliminary clinical study to test a new proprioception-based motor training technique for augmenting kinesthetic awareness via haptic feedback. The feedback was provided by a robotic manipulandum and the test involved 7 chronic hemiparetic subjects over three weeks. The protocol included evaluation sessions, that consisted of a psychometric estimate of the subject’s kinesthetic sensation, and training sessions, in which the subject executed planar reaching movements in the absence of vision and under a minimally assistive haptic guidance made by sequences of graded force pulses. The bidirectional haptic interaction between the subject and the robot was optimally adapted to each participant in order to achieve a uniform task difficulty over the workspace. All the subjects consistently improved in the perceptual scores as a consequence of training. Moreover, they could minimize the level of haptic guidance in time. Results suggest that the proposed method is effective in enhancing kinesthetic acuity, but the level of impairment may affect the ability of subjects to retain their improvement in time. (shrink)

We introduce the new notion of additive “multibox” for linear logic proof-nets. Thanks to this notion, we define a cut-elimination procedure which associates with every proof-net of multiplicative and additive linear logic a unique cut-free one.

Esta investigación tiene como objetivo profundizar en el conocimiento de los factores implicados y de los procesos que tienen lugar en la interpretación musical, a partir de las concepciones y el conocimiento experto de cinco intérpretes de música clásica de reconocido prestigio.El enfoque metodológico aplicado es cualitativo y utiliza la entrevista en profundidad semiestructurada como técnica de recogida de información.Los resultados obtenidos sugieren que expresividad, sonido, creatividad y carisma son cualidades necesarias en un intérprete de excelencia. Se concluye que el (...) intérprete es un constructor de discursos significantes que siempre busca establecer vínculos emocionales con su audiencia. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2018 Heft: 220 Seiten: 173-198.

ArgumentEusapia Palladino (1854-1918) is remembered as one of the most famous mediums in the history of spiritualism. Renowned scientists attended her séances in Europe and in the United States. They often had to admit to being unable to understand the origin of the phenomena produced. Cesare Lombroso, for example, after meeting Eusapia, was converted first to mediumism, then spiritualism. This article will retrace the early stages of her career as a medium and shed light on the way she managed to (...) gain the attention of scientists. It will also show why they chose her as an epistemic object. (shrink)

The dream of Leibniz and that of Frege, to create a lingua characteristica in order to demonstrate conceptual thought, incorporates in a wider process, the division and tension between the distinct Spheres which the human sub-species have been creating. Spheres which remain hidden by natural language, essentially spoken language. For the creation and demonstration of the Conceptual Sphere the establishing of a language of characteres has become indispensable, essentially written language. Is a consequence a tension is established between Natural language-Formal (...) language with their corresponding reductionist tendences. (shrink)